| |
Oct 16, 2024
|
|
|
|
|
2014-2015 Graduate Studies Bulletin [Archived Catalog]
|
CSCE 846 - Software Reliability and Safety|Credits: 3
Reliability and safety of computer-intensive systems; software reliability models and analysis; operational profiles; hazard analysis using fault trees and event trees; formal verification of safety-critical systems.
Prerequisites: STAT 509 or 510 or 511
Note: Not auditable.
|
|